| |
|
|
|
PawLogic is a program for manipulating boolean expressions. The
program handles both expressions in propositional logic and quantified
boolean formulae (QBF).
Logic is widely used today. It forms the basis of mathematical
proof methods. It is used in formal verification like symbolic model
checking and equivalence checking of combinational and sequential
circuits. Logic is also behind product configurators and the construction of
remote controls and traffic light intersections. And logic is
something we all use daily. For example, most of us readily accept the
following reasoning: `If it rains, I get wet. It rains. Therefore I
get wet.` This is applied logic.
PawLogic lets you work and experiment with logic. If you are a
student of logic, you get a valuable tool to aid you in your
studies. If you are a professional working with logic, you get an
always accissible logic program for you to use whether at the office,
at home or on the move. And if you are just interested in the world of
logic, here is your chance to get hands-on experience.
PawLogic works under PalmOS 2.0 and higher. Copyright © 2000
Poul F. Williams. All Rights Reserved.
Visit the PawEng webpage for more information. We have a manual available online including a number of screenshots.
|
| « read more about PawLogic -- License B 1.0.3 |
|
|
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » Master the Facts Multiplication 3.2.2
|
| Master the Facts Multiplication is a no-nonsense drill and practice program to aide students in learning multiplication facts. This program was created in response to teachers requesting a `non-game` software tool to use in their classrooms to teach multi ... |
|
| Fast Rabbit Software, LLC | 987KB | Win 98/ME/2000/XP | $9.95 | Downloads: 1395 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » BMP EMF Grapher 1.1
|
| BMP EMF Grapher - drawing 2-D mathematical freeware with BMP, EMF, CSV export and CSV import. This software can calculate, draw and exports 2-D mathematical functions and their combinations to the BMP, EMF, and CSV formats and also imports external CSV fi ... |
|
| BMP EMF GRAPHER | 287.7KB | Win 95/98/ME/2000/XP | | Downloads: 1382 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Graph Magics 2.1
|
| Graph Magics - an ultimate tool for Graph Theory. Containing a numerous collection of functions, utilities and algorithms, it offers you the possibility of easy, fast and efficient construction, modification and analysis of graphs. Some of its major fea ... |
|
| Dumitru Ciubatii | 515KB | Win 98/ME/NT/2000/XP | $65.00 | Downloads: 1447 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Rt-Plot 2.6
|
| Rt-Plot is a tool to generate Cartesian X/Y-plots from scientific data. You can enter and calculate tabular data. View the changing graphs, including linear and non linear regression, interpolation, differentiation and integration, during entering. Rt-Plo ... |
|
| Rt-Science | 5237KB | Win 95/98/ME/NT/2000/XP | $50 | Downloads: 1484 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Math Flight 2.2
|
| Children can now have fun while learning & practicing basic math! Soar high into the sky in `Flight!`, catch the falling crates in `Drop Zone` or avoid being hit by lightning and watch out for wacky pelicans in `Sky High`, three great activities to enjoy ... |
|
| Scolasoft Edutainment | 17419KB | Win 95/98/ME/NT/2000/XP | $12.95 | Downloads: 1409 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Auto2Fit 3.0
|
| Auto2Fit is a revolution tools and beats all other simliar ones in the area of nonlinear regression! Almost all data analysis software packages (SPSS, SAS, Statistical,Origin Pro, DataFit, Stata or Systat) need end-users to provide/guess initial start val ... |
|
| CPC-X Software | Unknown | Win 95/98/ME/NT/2000/XP | $288 | Downloads: 1520 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » AddUp 2
|
| AddUp 2 could be the last calculator/converter you will ever want. With a flexible work area and user-selectable button panels, this multi-purpose tool packs all the functionality you can expect in a calculator. * A flexible work area lets you type in yo ... |
|
| Orefa.com | 349KB | Win 95/98/ME/NT/2000/XP | $15 | Downloads: 1819 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Magic Math Space Tour for ages 11 to 12 2.2
|
| Children can effectively learn math with friendly natural animals and/or worms. The comprehensive game of Space Tour, touring among various planets and the experience to fly over the surface of the earth, is provided. The players on the way encounter the ... |
|
| Nippon Educational Soft Lab. | 10209KB | Win 95/98/ME/NT/2000/XP | $14 | Downloads: 1405 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Graphe Easy 2.20
|
| Graphe Easy is a feature-rich yet easy-to-use 2d-graph plotting Windows software. It allows to draw many graph types (cartesian, polar, parametric coordinates) and many other graphs such as conics, integrals, inequations or sequences. It also provides ... |
|
| Olivier ANSQUER | 4549KB | Win 98/ME/NT/2000/XP | $39 | Downloads: 1438 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Grapher Editor 2.0
|
| This software is intended for construction of graphs of functions. Program GrapherEdit v2.0 is capable build graphs based on the following functions: +, -, *, /, ^, abs, sin, cos, tg, ctg, arcsin, arccos, arctg, arcctg, lg, ln. ... |
|
| ProgramFirm | 1.05MB | Win 2000/XP | $20 | Downloads: 1314 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| » SimplexParser 3.01
|
| SimplexParser is used to get the most out of Formula Parsing. With it, you can evaluate mathematical formulas, draw graphs and program with very simple VBScript. SimplexParser is a sophisticated calculation application. It supports direct access to the ... |
|
| Dipl.-Phys.-Ing. Ralf Wirtz | 4974KB | Win 95/98/ME/NT/2000/XP | $0.00 | Downloads: 1411 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Calculator Prompter 2.0
|
| Calculator Prompter is an expression calculator. You can evaluate expressions like sin(cos(tan(pi)))#2%10^3 Calculator Prompter has a built-in error recognition system that helps you get correct results: - Paste operator here; - Paste number here; - ... |
|
| Softaddress | 243KB | Win 95/98/ME/NT/2000/XP | 0 | Downloads: 1389 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Basic Facts Worksheet Factory 3.0.0055
|
| Need just the Facts? The free Basic Facts Worksheet Factory can generate worksheets that will provide students with the practice they need to become proficient in the basic math operations. You can easily create unlimited customized worksheets for the pra ... |
|
| Schoolhouse Technologies Inc. | 6424KB | Win 95/98/ME/NT/2000/XP | 0 | Downloads: 1491 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Graphmatica 2.0d
|
| a powerful, easy-to-use, equation plotter with numerical and calculus features: - Graph Cartesian functions, relations, and inequalities, plus polar, parametric, and ordinary differential equations. - Up to 999 graphs on screen at once. - New data plo ... |
|
| kSoft, Inc. | 318KB | Win 95/98/ME/NT/2000/XP | $25 | Downloads: 1446 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » LiteralMath 2.4
|
| Text editor with the additional capabilities of math notation and hypertext, aimed at the high school / college environment. Uses the RTF format known to Wordpad, Word. Generates HTML, so that math notation can be displayed by popular browsers. Users may ... |
|
| Eugenio Vilar | 1663KB | Win 98/2000/XP | | Downloads: 1519 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Archimedes Grapher Professional 2.2
|
| Archimedes Grapher is a kind of powerful and convenient tool software which supports functional graph plotting, numerical calculation, unit conversion, and slide show. It can plot all kinds of graphs (functional graphs, table graphs, polar equation, param ... |
|
| NewXor Software,Inc | 2130KB | Win 2000/XP | $28 | Downloads: 1454 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » FlatGraph 1.10b2
|
| Plotting functions (usual and parametric) with more possibilities. Differentiation of any order (with simplification). Construction of tangents to the graph. The simple and clear interface with the detailed documentation and examples of work. The program ... |
|
| Vitaliy Subbotin | 567KB | Win 3.x/95/98/ME/NT/2000/XP | 0 | Downloads: 1383 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Archimedes Grapher Slide Show 2.0
|
| Archimedes Grapher Slide Show is a powerful and convenient software kit, which is used to play slides generated by Archimedes Grapher in full screen. With it, you can play Archimedes Grapher slides in full screen for teaching purpose on another computer ... |
|
| NewXor Software,Inc | 1174KB | Win 2000/XP | 0 | Downloads: 1475 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » WinFlash Basic 8.00.09
|
| Award-winning Flashcard Study and Testing System - Whether you`re an airline pilot looking for the most time-efficient way to prepare for periodic recertifications, a high school student hoping for a quicker way to master Spanish or a little girl who need ... |
|
| Open Window Software | 4174KB | Win 95/98/ME/NT/2000/XP | $19.95 | Downloads: 1249 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Magic Math Kingdom spanish version for ages 5 to 8 2.0
|
| Joyful math leraning for ages 5-8 children in the hispanic and Latin world. Children can effectively learn math with friendly natural animals and worms.The comprehensive game to rescue princess frog from witch`s castle make the children excited in learnin ... |
|
| Nippon Educational Soft Lab. | 3158KB | Win 95/98/ME/2000/XP | $14 | Downloads: 1345 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| |
